嵌入式软件自动化测试平台的研究与实现

随着嵌入式系统的广泛应用,对其软件进行完善而又高效的测试成为必须.本文提出了一种联系宿主机和目标机的自动化测试平台.该平台分为宿主机端的测试管理和目标机端的测试代理,实现了代码自动插装、脚本自动化批量执行、功能测试、分支覆盖、数据通信和测试结果报告生成等功能.     

基于CATIA二次开发的渐开线直齿轮参数化设计

实现了在CATIA二次开发平台上渐开线直齿圆柱齿轮的参数化三维造型.首先在屏幕对话框中输入齿轮的参数,然后程序对设计计算、数据处理、图形绘制等进行综合处理,最后在CATIA中生成齿轮的三维模型.     

叶-盘系统振动特性有限元分析程序实现

引入空间八节点等参数单元,对叶-盘结构进行了有限元网格划分.利用自行编制的有限元循环对称结构振动分析程序对叶-盘结构(泵叶轮及涡轮叶轮)进行了振动特性分析,并与ANSYS软件计算结果进行了对比.经过对比,本程序的计算结果与ANSYS软件的计算结果吻合良好,从而验证了本计算程序具有良好的工程计算精度.     

某型飞机维护规程编制初探

针对某型飞机维护规程编制的特点，通过消化、学习专业知识，与外场维护人员的沟通与交流，给出了某型飞机维护规程编制的内容、依据和要求，解决了相关专业的协调与分工，检查条件苛刻及项目多的编制难题，并对维修项目和区域的确定进行了探索和研究。     

错误分析理论及错误分类

错误分析理论是二语习得中探索语言学习心理过程的重要理论和方法，它的重大贡献是明确指出了语内错误是语言学习中错误来源的主要原因。研究者对各种错误的揭示和描述不仅促进了错误分析既作为理论又作为方法的双向研究，而且对二语语言学习有重要的启示作用。     

符号运算在工程分析中的应用

从用户的角度出发，简单介绍了国外符号运算在工程分析中的应用现况和发展趋势，旨在引起同行对这个领域的兴趣和重视。文中给出了一个符号运算的简单例子—用ＭＡＰＬＥ导出了１２自由度矩形板弯曲单元刚度矩阵的显式并将其自动转换成ＦＯＲＴＲＡＮ程序，以说明符号运算的优越性。可以看出，符号运算的程序简洁、直观，且不易出错。繁锁的公式推导和程序编制均由计算机自动完成，这不但大大提高了效率，而且也确保了公式推导和程序编制的可靠性。顺便指出，本文导出的矩形板弯曲单元比目前不少教材中采用的单元在性能上要优越。由于本文已给出了单元的插值函数的显式，故可望用该单元来替代教材中所用的单元．     

大客户管理:起源、概念与研究视角

大客户已经成为众多企业争夺的焦点，而基于交易的传统营销模式越来越不适应供应商一大客户关系管理。大客户管理已经成为客户关系管理学科的一个非常重要的分支。文章从大客户管理的起源、概念界定与研究视角等方面对西方大客户管理研究文献进行了初步的梳理，并指出了现有研究的缺陷和进一步研究的方向。     

微型铅酸电池的研制

本文介绍了两种微型铅酸蓄电池的开发研究工作。研究结果表明，这两种电池的容量、密封反应效率、高率放电性能、过放电特性、过充电特性、贮存性能及循环寿命等各项指标均达到日本标准ＪＩＳ８７０２－１９８８的要求。     

机载防撞系统现场诊断软件的架构设计

本文阐述了机载防撞系统现场诊断软件（ACAS Diag）的架构设计过程。从软件的需求分析入手,引入用例分析的方法描述了ACAS Diag的功能需求;介绍了架构设计的五视图方法;并在此基础上进行ACAS Diag的软件架构设计,分别给出了软件的逻辑架构、物理架构、开发架构和运行架构视图,从而为后续的软件开发奠定基础。     

基于懒替换的C符号执行

针对传统符号执行中的动态地址计算问题,提出了基于懒替换的符号执行方法.通过引入尽可能替换的策略,基于懒替换的符号执行在无法静态确定变量的地址或符号表达式过长时不做符号替换.首先给出了基于懒替换的符号执行算法,在此基础上,详细分析了C语言主要结构尤其是数组和指针的懒符号执行语义.LazySEC是一个面向C程序的懒符号执行系统原型,初步实验表明,它可以有效地处理含有指针和结构体等涉及动态地址计算的程序语言结构.